OCMon{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	Mon, AbMon, OCMon
Definitions	x,y. t(x;y), , x:A. B(x), x f y, P & Q, OCMon, t  T, Mon, x(s1,s2), AbMon
Lemmas	monot wf, grp op wf, cancel wf, grp le wf, assert wf, grp car wf, linorder wf, abmonoid wf